翻訳と辞書 Words near each other ・ fork ・ fork bomb ・ forked ・ form ・ form factor ・ form feed ・ form function ・ formac ・ formal ・ formal argument ・ formal description technique ・ formal methods ・ formal object role modeling language ・ formal review ・ format ・ format-fortran ・ formatting output specification instance ・ formes ・ forml ・ forms Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク formal description technique ： FOLDOC Formal Description Technique (FDT) A {formal method} for developing telecomunications services and protocols. FDTs range from abstract to implementation-oriented descriptions. All FDTs offer the means for producing unambiguous descriptions of OSI services and protocols in a more precise and comprehensive way than natural language descriptions. They provide a foundation for analysis and verification of a description. The target of analysis and verification may vary from abstract properties to concrete properties. Natural language descriptions remain an essential adjunct to formal description, enabling an unfarmiliar reader to gain rapid insight into the structure and function of services and protocols. Examples of FDTs are LOTOS, Z, SDL, and Estelle. [ISO/IEC DTR10167: "Guidelines for the application of Estelle, LOTOS and SDL"]. (1994-12-06) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.